Hop and HipHop : Multitier Web Orchestration

Rich applications merge classical computing, client-server concurrency, web-based interfaces, and the complex time- and event-based reactive programming found in embedded systems. To handle them, we extend the Hop web programming platform by HipHop, a domain-specific language dedicated to event-based process orchestration. Borrowing the synchronous reactive model of Esterel, HipHop is based on synchronous concurrency and preemption primitives that are known to be key components for the modular design of complex reactive behaviors. HipHop departs from Esterel by its ability to handle the dynamicity of Web applications, thanks to the reflexivity of Hop. Using a music player example, we show how to modularly build a non-trivial Hop application using HipHop orchestration code.Comment: International Conference on Distributed Computing and Internet Technology (2014

The Innovation Public Policies and the Firms’ adoption of Innovative Processes - A New Methodological Approach for Evaluation

Today, innovation is present in the discourse of politicians and business leaders. They see innovation as a positive value and as a solution to solve social problems and company’s competitiveness, so organizations are encouraged to adopt innovative practices through incentives and innovation policies. Several economic and sociological studies have shown that Portuguese companies adopt more easily technological innovations (with short-term effects) then organizational and social innovations. In this sense, we will consider innovation public policies effects at Portuguese companies and how they take available opportunities for innovation. The aim is to know if the concept of innovation spread by these policies is multidimensional (eg social, economic and technological) or restricted. We propose to study the factors (internal and external) that affect innovation processes in enterprises through case studies methodology. This research strategy will show us the processes of innovation from within the organizations and analyze the socio-economic context in which organizations operate through a new methodological approach for evaluation.Innovation, Innovation Systems, Public Policies, Enterprises, Territory.

Governance and City Regeneration – A New Methodological Approach for Design and Evaluation

Governance has become a central topic among policymakers. There is an international consensus that policymaking is evolving from a traditional top-down government approach towards a system of governing that focuses on engaging the citizens within an area (Cabus, 2003). New forms of governance targeting urban competitiveness are increasingly oriented to vertical (between lower and high levels of government and cooperation forms between entities and firms along the production chain) and horizontal (between firms or different municipalities or public and private entities) cooperation (OEDC, 2005). Urban renewal policies underwent significant changes in recent decades. Synthetically, the following periods can be distinguished: 1970s: “hard†urban renewal – extensive physical interventions; 1980s: “soft†urban renewal - efforts to keep the original population in place; 1990s: “integrated urban renewal†- combining physical, economic and social interventions (Tosics, 2010). And over the last few years there has been a gradual shift in the understanding of what should be the tools and objectives of urban regeneration policies, with a greater emphasis on process-related and ‘soft’ issues of stakeholder engagement, partnership formation, leadership development, ‘institutional capacity’ development, knowledge and learning (Magalhães, 2004). This shift in the understanding of urban regeneration processes accomplishes the growing importance in literature of concepts like urban governance, institutional relational density, creativity, social capital, city branding and place marketing. The main purpose of this paper is to propose a new methodology for territorial analysis and planning focused on urban regeneration processes and its governance mechanisms. A new methodology that seeks, for each specific urban context, contribute to the following results: 1) Help select the most appropriate governance model to be adopted for each process of urban regeneration, 2) Monitor the partnership process and help promote the partnership guidance; 3) Support the design process and the definition of the strategic approach and projects, 4) Monitor the process of implementing the strategy and support multidimensional and multiscale evaluation of its results; 5) Evaluate the socio-economic and territorial impacts of urban regeneration processes.

Governance and Creativity on Urban Regeneration Processes

Governance has become a central topic among policymakers. There is an international consensus that policymaking is evolving from a traditional top-down government approach towards a system of governing that focuses on engaging the citizens within an area (Cabus, 2003). New forms of governance targeting urban competitiveness are increasingly oriented to vertical (between lower and high levels of government and cooperation forms between entities and firms along the production chain) and horizontal (between firms or different municipalities or public and private entities) cooperation (OEDC, 2005). Based on a study research methodology, this article seeks to contribute to answer to the following research questions: i) what is the role of governance in the processes of urban regeneration?; ii) what is the role of governance in the development of creative processes for urban regeneration? and iii) what is the potential of governance to support urban regeneration strategies based on creativity and creative industries?Territorial governance, Creativity, Urban regeneration.

Reinforcing Innovation Effectiveness – A New Methodological Approach for Policy Evaluation

‘Innovation is the ability to take new ideas and translate them into commercial outcomes by using new processes, products or services in a way that is better and faster than the competition’ (Nedis & Byler, 2009). Innovation is considered as an important competitiveness factor for companies and a source of wealth for economies. Therefore it is an important subject of policy intervention and regional development. The understanding of what innovation is has evolved in the past decades away from a purely technological definition – of new products and processes introduced on the market, to a wider one including organisational and marketing aspects or incremental innovation in low tech production companies and more recently, innovation in services (European Commission, 2008). The main purpose of this paper is to propose a new methodology for territorial analysis and planning focused on innovation and knowledge transfer and in its governance mechanisms. A new methodology which is intended that can contribute to strengthen the present analytical tools applied to the processes of regional innovation and technology transfer. A new methodology that seeks, for each specific territorial context, contribute to the following results: 1) Evaluate the socio-economic and territorial impacts of knowledge transfer and technology diffusion; 2) Mapping territorial innovation effects and pathways – reinforcing innovation mapping and strategic planning; 3) Monitor innovation productivity, competitiveness and its systemic effects; 4) Monitor the innovation implementing processes and public policies, and support the multidimensional and multiscale evaluation of its results; 5) Better understand the knowledge transfer and technology diffusion in a specific territorial bases; 6) Increase the understanding of local and regional contexts of innovation governance.

Towards an Abstract Domain for Resource Analysis of Logic Programs Using Sized Types

We present a novel general resource analysis for logic programs based on sized types.Sized types are representations that incorporate structural (shape) information and allow expressing both lower and upper bounds on the size of a set of terms and their subterms at any position and depth. They also allow relating the sizes of terms and subterms occurring at different argument positions in logic predicates. Using these sized types, the resource analysis can infer both lower and upper bounds on the resources used by all the procedures in a program as functions on input term (and subterm) sizes, overcoming limitations of existing analyses and enhancing their precision. Our new resource analysis has been developed within the abstract interpretation framework, as an extension of the sized types abstract domain, and has been integrated into the Ciao preprocessor, CiaoPP. The abstract domain operations are integrated with the setting up and solving of recurrence equations for both, inferring size and resource usage functions. We show that the analysis is an improvement over the previous resource analysis present in CiaoPP and compares well in power to state of the art systems.Comment: Part of WLPE 2013 proceedings (arXiv:1308.2055

Car Sequencing Problem con flotas de vehículos especiales. Presentación

Car Sequencing Problem con demanda parcial incierta. Robustez en una multi-secuencia de vehículos mixtos.Partiendo del Car Sequencing Problem (CSP), introducimos el concepto demanda parcial incierta a través de la incorporación de Flotas de vehículos especiales en un plan de demanda. Tras resaltar las peculiaridades de una Flota y establecer las hipótesis de trabajo, proponemos un modelo de programación lineal entera mixta orientado a satisfacer el máximo número de restricciones CSP. Posteriormente, introducimos el concepto multi-secuencia de producción y proponemos funciones para medir su robustez. La versión robusta del CSP considera un conjunto de escenarios de la demanda para las Flotas y presenta funciones que miden el exceso sobre el requerimiento estándar de las opciones del CSP en planes de demanda, opciones concretas y ciclos de fabricación. Dichas funciones pueden emplearse como función objetivo en problemas de optimización y como métricas ante una muli-secuencia de producción concreta.Preprin

Synthesis and study of biological activity of tetrahydro-1H-[3]-benzazepines

The 3-Benzazepines are an important class of compounds in drug discovery due to their biological activity such as analgesic, antihypertensive or anticancer properties as well as dopaminergic or antidopaminergic activity. In particular, the tetrahydro-1H-[3]- benzazepine is a common skeleton in a number of natural and pharmaceutical products. As consequence of the interesting biological properties, derivatives of the tetrahydro-1H-[3]-benzazepines, especially the 1-aryl substituted have been synthesized by different routes and evaluated their pharmacologic activity. [1,2] The stereoselective synthetic approaches of tetrahydro-1H-[3]-benzazepine have focused on ring enlargements, as the Stevens rearrangement (SR) which is a good regio- and diastereoselective synthetic methodology. In my research group, the reaction conditions to synthesize tetrahydro-1H-[3]-benzazepines 1,2-disubstituted by via SR from tetrahydroisoquinolinium salts conveniently functionalized have been optimized. [3,4] This methodology allowed us to obtain a wide variety of tetrahydro-1H-[3]- benzazepines 1,2-disubstituted with different substituents at A-ring (Cl, OMe) and the C-1 (-C6H4X, X = H, OMe, Cl, NO2, NMe2, NH2, SMe) and C-2 (Electron-withdrawing groups) positions. The demethylation of the synthesized tetrahydroisoquinolines and tetrahydro-1H-[3]-benzazepines 1,2-disubstituted, lead us to get catechol structure, an important requirement for their dopaminergic activity. We have studied the dopaminergic activity of the synthesized compounds by radioligand binding assays, establishing a structure-activity relationships. Literature: [1] A. Gini, Adv. Synth. Catal. 2016, 358, 4049. [2] H. Damsen, Eur. J. Org. Chem. 2015, 36, 7880. [3] M. Valpuesta, Eur. J. Org. Chem. 2010, 23, 4393. [4] M. Ariza, Eur. J. Org. Chem. 2011, 32, 6507.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

Statistical Properties and Economic Implications of Jump-Diffusion Processes with Shot-Noise Effects

This paper analyzes the Shot-Noise Jump-Diffusion model of Altmann, Schmidt and Stute (2008), which introduces a new situation where the effects of the arrival of rare, shocking information to the financial markets may fade away in the long run. We analyze several economic implications of the model, providing an analytical expression for the process distribution. We also prove that certain specifications of this model can provide negative serial persistence. Additionally, we find that the degree of serial autocorrelation is related to the arrival and magnitude of abnormal information. Finally, a GMM framework is proposed to estimate the model parameters.Filtered Poisson Process, Characteristic Function, Generalized Method of Moments